A categorical approach towards metamodeling
نویسنده
چکیده
Cyber-physical systems, orchestrating computing, networking, and physical processes, are coupled, hybrid systems characterized by heterogeneous, interconnected subsystems. In civil engineering, the most common applications of cyber-physical systems are associated with structural health monitoring (SHM) and structural control. Given the complexity and heterogeneity of cyber-physical systems designed for structural health monitoring and control applications, it is hardly possible to reliably assess the quality of a cyber-physical system (CPS), which is needed for increased availability and for identifying potential sources of faults in a CPS. This conceptual paper proposes a metamodeling approach that can be used as a basis to model cyber-physical systems in order to assess the CPS quality based on category theory. Category theory is a mathematical theory that allows formalizing concepts of high-level abstractions on a meta level. Using the CPS metamodeling approach presented in this paper, each subsystem of a CPS can be modeled and assessed individually, entailing a holistic quality assessment of a CPS and its subsystems. However, since this paper is conceptual, it is intended to devote additional future research efforts to metamodeling and assessing cyber-physical systems, achieving a complete conceptual modeling framework for cyber-physical systems applied in structural health monitoring and control.
منابع مشابه
Formalization of the UML Metamodel: An Approach Based Upon the Four-Layer Metamodeling Architecture
Modeling tools move towards more and more abstract approaches such as metamodels and the four-layer metamodeling architecture. We address modeling tools using the UML metamodel as a core. We propose a fourlayer metamodeling architecture based upon a two-fold structure of metametamodel and metamodel layers. The meta-metamodel layer is populated with a lattice of modeling paradigms that are insta...
متن کاملUML-Metamodeling: Towards Formal Approach to Interoperability
We believe that information systems, in order to avoid obsolescence, need to become web-enabled. We have proposed an integrated framework for both Analysis & Design and interoperability of information systems. This framework uses metamodeling in order to propose a new approach to integration of formal methods into modeling processes. We emphasize a systematic use of formal methods –in order to ...
متن کاملTowards Architectural Modeling with UML Subsystems
This paper presents an extension of the UML 1.4 metamodel that facilitates the description of software architectures. To this end, concepts like views, ports, connectors, and protocols are introduced, and the UML’s subsystem concept is adapted. The approach is inspired by ROOM and IEEE P1471, using an explicit metamodeling approach for clarity. This paper should be seen as input for the discuss...
متن کاملIntuitive Visualization-Oriented Metamodeling
In this article we present a metamodeling tool that is strictly oriented towards the needs of the working domain expert. The working domain expert longs for intuitive metamodeling features. In particular this concerns rich capabilities for specifying the visual appearance of models. In these efforts we have identified an important design rationale for metamodeling tools that we call visual reif...
متن کاملIntegration of Business Rules and Model Driven Development
To help bridge the gap between Information system (IS) analysts and stakeholders, a Model-Driven Development (MDD) approach is proposed. A MDD approach uses models as primary development artifacts. Models increase the abstraction level of IS development and help to improve migration between various development phases. A MDD approach provides considerable benefits in the IS development domain, n...
متن کامل